covariant function

[数] 共变函数